Controllability in Hybrid Kinetic Equations Modeling Nonequilibrium Multicellular Systems
نویسندگان
چکیده
منابع مشابه
Controllability in Hybrid Kinetic Equations Modeling Nonequilibrium Multicellular Systems
This paper is concerned with the derivation of hybrid kinetic partial integrodifferential equations that can be proposed for the mathematical modeling of multicellular systems subjected to external force fields and characterized by nonconservative interactions. In order to prevent an uncontrolled time evolution of the moments of the solution, a control operator is introduced which is based on t...
متن کاملHybrid kinetic/fluid models for nonequilibrium systems
Our purpose is to derive a model describing the evolution of particles at various scales following their kinetic energy. Fast particles will be described through a collisional kinetic equation of Boltzmann-BGK type. This equation will be coupled with a fluid model (Euler equations) that describes the evolution of slower particles. The main interest of this approach is to reduce the cost of nume...
متن کاملModeling and controllability for a class of hybrid mechanical systems
This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framework for modeling smooth phenomena such as inertial forces, holonomic, and nonholonomic constraints, as well as discrete features such as transitions between smooth dynamic regimes through plastic and elastic impacts. We focus on d...
متن کاملModeling multicellular systems using subcellular elements.
We introduce a model for describing the dynamics of large numbers of interacting cells. The fundamental dynamical variables in the model are subcellular elements, which interact with each other through phenomenological intra- and intercellular potentials. Advantages of the model include i) adaptive cell-shape dynamics, ii) flexible accommodation of additional intracellular biology, and iii) the...
متن کاملModeling and Verification of Hybrid Systems Based on Equations
We describe hybrid observational transition systems, or HOTSs. HOTSs are written in terms of equations and verified by means of equational reasoning. More concretely, CafeOBJ, an algebraic specification language, is used to specify HOTSs and verify that HOTSs have properties by writing proofs, or proof scores. One case study is used to demonstrate how to model hybrid systems as HOTSs, specify H...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Scientific World Journal
سال: 2013
ISSN: 1537-744X
DOI: 10.1155/2013/274719